Graal[1]


("Grail") General Recursive Applicative and Algorithmic Language


FP with polyadic combinators.

"Graal: A Functional Programming System with Uncurryfied Combinators and its Reduction Machine", P. Bellot in ESOP 86, G. Goos ed, Lecture Notes in Computer Science 213, Springer-Verlag, 1986.